Shimura Curves and Special Values of p-adic L-functions

We construct "generalized Heegner cycles” on a variety fibered over a Shimura curve, defined over a number field. We show that their images under the p-adic Abel-Jacobi map coincide with the values (outside the range of interpolation) of a p-adic L-function Lp(f,χ) which interpolates special values of the Rankin-Selberg convolution of a fixed newform f and a theta-series θχ attached to an unramified Hecke character of an imaginary quadratic field K. This generalizes previous work of Bertolini, Darmon, and Prasanna, which demonstrated a similar result in the case of modular curves. Our main tool is the theory of Serre-Tate coordinates, which yields p-adic expansions of modular forms at CM points, replacing the role of q-expansions in computations on modular curve

Isogeny graphs of ordinary abelian varieties

Fix a prime number $\ell$. Graphs of isogenies of degree a power of $\ell$ are well-understood for elliptic curves, but not for higher-dimensional abelian varieties. We study the case of absolutely simple ordinary abelian varieties over a finite field. We analyse graphs of so-called $\mathfrak l$-isogenies, resolving that they are (almost) volcanoes in any dimension. Specializing to the case of principally polarizable abelian surfaces, we then exploit this structure to describe graphs of a particular class of isogenies known as $(\ell, \ell)$-isogenies: those whose kernels are maximal isotropic subgroups of the $\ell$-torsion for the Weil pairing. We use these two results to write an algorithm giving a path of computable isogenies from an arbitrary absolutely simple ordinary abelian surface towards one with maximal endomorphism ring, which has immediate consequences for the CM-method in genus 2, for computing explicit isogenies, and for the random self-reducibility of the discrete logarithm problem in genus 2 cryptography.Comment: 36 pages, 4 figure

Generalized Heegner Cycles, Shimura Curves, and Special Values of p-ADIC L-Functions.

We construct "generalized Heegner cycles" on a variety fibered over a Shimura curve, defined over a number field. We show that their images under the p-adic Abel-Jacobi map coincide with the values (outside the range of interpolation) of a p-adic L-function which interpolates special values of the Rankin-Selberg convolution of a fixed newform f and a theta-series attached to an unramified Hecke character of an imaginary quadratic field. This generalizes previous work of Bertolini, Darmon, and Prasanna, which demonstrated a similar result in the case of modular curves. Our main tool is the theory of Serre-Tate coordinates, which yields p-adic expansions of modular forms at CM points, replacing the role of q-expansions in computations on modular curves.PhDMathematicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/99928/1/ehbrooks_1.pd

Shimura Curves and Special Values of p-adic L-functions

We construct "generalized Heegner cycles" on a variety fibered over a Shimura curve, defined over a number field. We show that their images under the p-adic Abel-Jacobi map coincide with the values (outside the range of interpolation) of a p-adic L-function L-p(f, chi) which interpolates special values of the Rankin-Selberg convolution of a fixed newform f and a theta-series theta(chi) attached to an unramified Hecke character of an imaginary quadratic field K. This generalizes previous work of Bertolini, Darmon, and Prasanna, which demonstrated a similar result in the case of modular curves. Our main tool is the theory of Serre-Tate coordinates, which yields p-adic expansions of modular forms at CM points, replacing the role of q-expansions in computations on modular curves